The Axiom of Choice from the Viewpoint of Recursion Theory
نویسنده
چکیده
منابع مشابه
On characterizations of the fully rational fuzzy choice functions
In the present paper, we introduce the fuzzy Nehring axiom, fuzzy Sen axiom and weaker form of the weak fuzzycongruence axiom. We establish interrelations between these axioms and their relation with fuzzy Chernoff axiom. Weexpress full rationality of a fuzzy choice function using these axioms along with the fuzzy Chernoff axiom.
متن کاملRational Choice Theory: A Cultural Reconsideration
Economists have heralded the formulation of the expected utility theorem as a universal method of choice under uncertainty. In their seminal paper, Stigler and Becker (Stigler & Becker, 1977) declared that “human behavior can be explained by a generalized calculus of utility-maximizing behavior” (p.76). The universality of the rational choice theory has been widely criticized by psychologists, ...
متن کاملBar recursion in classical realisability : dependent choice and well ordering of R
This paper is about the bar recursion operator [9], in the context of classical realizability [6, 7]. It is a sequel to the three papers [1, 2, 10]. We use the definitions and notations of the theory of classical realizability as expounded in [5, 6, 7].1 In [1], S. Berardi, M. Bezem and T. Coquand have shown that a form of the bar recursion operator can be used, in a proof-program correspondenc...
متن کاملPragmatic Elements of Rawls’s Theory of Justice
In this article, in order to demonstrate the pragmatic elements of Rawls’s viewpoint, the developmental path of his A Theory of Justice shall first be investigated. This development has two phases: In the first phase, justice has an ethical-philosophical basis. In A Theory of Justice, this phase is specifically shown under the title of theory of justice. In the second phase, justice has no phil...
متن کاملForcing in the alternative set theory II
By the technique of forcing, some new independence results are proved for the alternative set theory (AST) and similar weak theories: The scheme of choice is independent both of AST and of second order arithmetic, axiom of constructibility is independent of AST plus schemes of choice.
متن کامل